Mines ParisTech - PDFSEARCH.IO - Document Search Engine

Mines ParisTech
Results: 376

#	Item
331	Rapport de stage : Analyse sémantique des tableaux, des structures et des pointeurs Lossing Nelson Encadré par Irigoin François et Hermant Olivier Centre de Recherche en Informatique, Mines ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: French - Date: 2013-08-23 06:01:04
332	NSADComputing Invariants with Transformers: Experimental Scalability and Accuracy Vivien Maisonneuve1 , Olivier Hermant2 and François Irigoin3 MINES ParisTech, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-08-26 05:35:01 Control flow Loop invariant Transformer Precondition KeY Group action Predicate transformer semantics Theoretical computer science Software engineering Mathematics
333	BDSC-Based Automatic Task Parallelization: Experiments Dounia KHALDI CRI, Mathématiques et systèmes MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 04:33:26 Task parallelism Scheduling Computing Parallel computing Computer cluster
334	Administration de PostgreSQL Fabien Coelho MINES ParisTech 26 mars 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: French - Date: 2015-02-19 11:02:17
335	Type inference in the multirate audio DSP language Faust Pierre Beauguitte Centre de recherche en informatique - MINES ParisTech SYNCHRON 2012 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-01-30 08:47:42 FAUST Type system Inference Vector space Type inference Algebra Mathematics Type theory
336	Dedukti: A Universal Proof Checker Mathieu Boespflug Quentin Carbonneaux Gilles Dowek Olivier Hermant Ronan Saillard Deducteam INRIA MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-13 10:37:24 Modular forms Logic Proof theory Deduction Logic in computer science
337	SQL - DML 3, DDL Fabien Coelho MINES ParisTech 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: French - Date: 2015-02-19 11:02:14
338	Dedukti : un v´ erificateur de preuves universel Ronan Saillard Centre de recherche en informatique - MINES ParisTech Add to Reading List Source URL: dedukti.gforge.inria.fr Language: French - Date: 2014-07-30 14:11:51
339	GEODESY and GEODESIC TRANSFORMATIONS Serge BEUCHER CMM – Mines ParisTech Add to Reading List Source URL: cmm.ensmp.fr Language: English - Date: 2010-05-17 03:56:01 Metric space Dilation Differential geometry of surfaces CAT(k) space Geometry Metric geometry Geodesic
340	Sur un problème de définition de l’érosion géodésique Serge Beucher Centre de Morphologie Mathématique Mines ParisTech SeptembreIntroduction, contexte Add to Reading List Source URL: cmm.ensmp.fr Language: French - Date: 2011-10-26 04:16:17

UPDATE